From: Florian Müllner Date: Tue, 27 Aug 2019 08:55:54 +0000 (+0300) Subject: shell-extension-tool: Fix typo X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~827^2^2~26 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=c6580421b318260a5fc30f06daf548c955bf570e;p=gnome-shell.git shell-extension-tool: Fix typo Spotted by Amr Ibrahim. --- diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in index 74a638fb4..fb3d0d81a 100755 --- a/src/gnome-shell-extension-tool.in +++ b/src/gnome-shell-extension-tool.in @@ -20,7 +20,7 @@ def disable_extension(uuid): extension_command(["disable", uuid]) def reload_extension(uuid): - print("Reloading extensions does not wokr correctly and is no longer supported", + print("Reloading extensions does not work correctly and is no longer supported", file=sys.stderr) def main():